horn clause meaning in English
horn子句
霍队句
霍恩子句 (逻辑语法)
Examples
- Method extraction based on reachability tree of pr t net for horn clauses set
网可达树的方案求解 - This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
本文对web语义化过程中部分关键问题和基于语义化web的kms进行了研究，主要的创新性工作包括：定义了逻辑公式及关系公理描述原语的ontology语义： web环境中用标记语言描述对象和资源，为了在语义化web上表示知识、逻辑公式、关系公理和规则，需要定义描述命题逻辑公式、谓词逻辑公式、 horn逻辑的逻辑原语以及描述属性之间关系的关系原语。 - In this thesis , the author just discusses horn clause sets , and gives how to transform horn clause set into neural network . go a step further , the author discusses how to get the learning algorithm of neural network that is equivalence with resolution principle , and proves completeness theorem and soundness theorem of the algorithm for resolution
本文将所讨论的子句集限制在horn子句集上，给出了horn子句集转化为一个神经网络模型的方法，进j一步，对如何构造该神经网络的学习算法来体现归结过程进行了讨论，并证明了此学习算法用于归结原理的可靠性和完备性。